Development Methods for Real-Time Systems
نویسندگان
چکیده
منابع مشابه
Real - Time Systems Development
base class<>Towable TrolleyTrailerVehicle Implementing an interface 13.7 Interobject messaging UML represents the various different types of communication that can takeplace between objects with a single message generalization. So an abstractUML message could be implemented by a straightforward call to a method,a remote procedure call (rpc), a piped messag...
متن کاملMethods for Real - Time
Methods for Real-Time Bin-Picking Using 2D Vision Computer vision has proved to be a valuable asset in robot automated applications. One such application is known as bin-picking, in which a robot is used to automatically pick up a number of items from a container. In some cases these “bins” contain overlapping items or even unsorted heaps. In this paper two methods are presented that use only 2...
متن کاملLichen Zhang Development Method for Multi-Agent Real-Time Systems Development Method for Multi-Agent Real-Time Systems
ulti-agent real-time systems have been promising by achieving behavior between agents in various environments. Agents are being e variety of applications from mobile systems to complex mission However current methods and tools that aid in the development of ent systems are still underdeveloped. In this paper, we propose an d designing multi-agent real-time systems based on UML. The ated by an e...
متن کاملMethods for the Development of Distributed Real-Time Embedded Systems Using VDM
The development of distributed real-time embedded systems presents a significant practical challenge both because of the complexity of distributed computation and because of the need to rapidly assess a wide variety of design alternatives in early stages when requirements are often volatile. Formal methods can address some of these challenges but are often thought to require greater initial inv...
متن کاملFormal Methods and Tools for the Development of Distributed and Real Time Systems
Since many of these notes are preliminary versions or may be published elsewhere, they have a limited distribution only and are not for review. Copies of these notes are available from the author or the editor. of the sections on objectives and area of advance, on baseline and rationale, on research goals, and on organisation of the action, as contained in the original proposal, submitted June,...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: The Computer Journal
سال: 1991
ISSN: 0010-4620,1460-2067
DOI: 10.1093/comjnl/34.2.164